#pragma once

/* 直接定义printf */
/* os patch */
/* 依赖这个接口 */
typedef int (dbgprint_func_t)(const char *fmt, ...);

/* plat依赖 */
#include <dbgprint.h>

#include <dbg/assert.h>
#include <dbg/cycles.h>
#include <dbg/cycrec.h>
#include <dbg/mdump.h>
#include <dbg/printf.h>
// #include <dbg/ptest.h>

